<html>
<head><meta charset="utf-8"><title>meeting 2019.12.17 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E17.html">meeting 2019.12.17</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="183562857"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.17/near/183562857" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E17.html#183562857">(Dec 16 2019 at 16:02)</a>:</h4>
<p>hey <span class="user-group-mention" data-user-group-id="1184">@WG-polonius</span> :)<br>
I personally won't have a lot of time with the end-of-year rush (+ holiday vacations) so what do you think about having async updates here instead of sync meetings for the next few weeks (2 to 3) ?<br>
 (I'll have more time towards the end of December through the 1st week of January, but not necessarily a fixed schedule)</p>



<a name="183563072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.17/near/183563072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E17.html#183563072">(Dec 16 2019 at 16:04)</a>:</h4>
<ul>
<li>this week I have been slowly working on improving the datafrog generator so we (or Vytautas) can use actually start using it (with the renamed / updated rules / soufflé's ";" syntax for alternatives)</li>
<li>I hope to keep working on this to fix the bugs (hopefully until the new year), and add these couple features, and also try it out on the couple datalog papers Frank mentioned in their latest post (I've already started doing this, and it surfaced some bugs, they don't impact our rules usage, but still)</li>
</ul>



<a name="183563407"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.17/near/183563407" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E17.html#183563407">(Dec 16 2019 at 16:08)</a>:</h4>
<p>and Niko if you want to use the sync meeting time, a couple interesting things could be:</p>
<ul>
<li>Albin's WIP PR about move errors could use some reviewing (the WIP-ness is mostly related to lack of unit tests, if I understand correctly): <a href="https://github.com/rust-lang-nursery/polonius/issues/135" target="_blank" title="https://github.com/rust-lang-nursery/polonius/issues/135">polonius#135</a></li>
<li>not strictly related but I'm sure Matthew would love it if we can finally land <a href="https://github.com/rust-lang/rust/issues/65232" target="_blank" title="https://github.com/rust-lang/rust/issues/65232">#65232</a>: replacing the leak-check with universes :)</li>
</ul>



<a name="183575660"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.17/near/183575660" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E17.html#183575660">(Dec 16 2019 at 18:22)</a>:</h4>
<p>This sounds good to me!</p>



<a name="183597481"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.17/near/183597481" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E17.html#183597481">(Dec 16 2019 at 22:22)</a>:</h4>
<p>That sounds great <span class="user-mention" data-user-id="116113">@lqd</span></p>



<a name="183597538"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.17/near/183597538" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E17.html#183597538">(Dec 16 2019 at 22:22)</a>:</h4>
<p>Regarding leak-check, yes, I've been thinking about it, which is partly why I've been pursuing the chalk changes I have been, because they actually lead to a potentially slightly different place than that PR, and I wanted to see if they made sense and try to figure out what that might mean for rustc</p>



<a name="183597548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.17/near/183597548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E17.html#183597548">(Dec 16 2019 at 22:23)</a>:</h4>
<p>It's taking longer than I thought so maybe I should re-order some of that thinking, though</p>



<a name="183597570"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.17/near/183597570" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E17.html#183597570">(Dec 16 2019 at 22:23)</a>:</h4>
<p>(In fact, maybe <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> and I could spend some time talking it out, would be really useful to have someone to discuss it with)</p>



<a name="183645250"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.17/near/183645250" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E17.html#183645250">(Dec 17 2019 at 12:57)</a>:</h4>
<p>We could. Would the meeting today be a good time, or should we try to find another time?</p>



<a name="183661033"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.17/near/183661033" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E17.html#183661033">(Dec 17 2019 at 15:52)</a>:</h4>
<p>Hmm today's meeting could maybe work, yeah <span class="user-mention" data-user-id="116118">@Matthew Jasper</span></p>



<a name="183685810"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.17/near/183685810" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E17.html#183685810">(Dec 17 2019 at 20:03)</a>:</h4>
<p>ping <span class="user-mention" data-user-id="116009">@nikomatsakis</span></p>



<a name="183685834"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.17/near/183685834" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E17.html#183685834">(Dec 17 2019 at 20:03)</a>:</h4>
<p>Hey <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> -- maybe we should chat in <a class="stream" data-stream-id="144729" href="/#narrow/stream/144729-wg-traits">#wg-traits</a> ?</p>



<a name="183685845"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.17/near/183685845" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E17.html#183685845">(Dec 17 2019 at 20:03)</a>:</h4>
<p>I guess either stream is fine</p>



<a name="183685852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.12.17/near/183685852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E12.2E17.html#183685852">(Dec 17 2019 at 20:03)</a>:</h4>
<p>But this seems a bit more general than polonius :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>